Compositional Synthesis of Distributed System Components based on Augmented marked Graphs
نویسنده
چکیده
ABSTRACT Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of distributed systems. It is proposed that distributed system components are specified as augmented marked graphs. An integrated system is obtained by composing these augmented marked graphs via their common resource places. Based on preservation of properties, liveness, boundedness, reversibility and conservativeness of the system can be readily derived. This contributes to resolve the problem of ensuring design correctness in the composition of distributed system components.
منابع مشابه
Composition of Augmented Marked Graphs and Its Application to Component-based System Design
Augmented marked graphs possess some structural characteristics which are especially desirable for modelling systems with common resources. This paper first investigates the composition of augmented marked graphs via common resource places. Special focus is placed on preservation of four properties, namely, liveness, boundedness, reversibility and conservativeness. It is then applied to compone...
متن کاملAugmented Marked Graphs and the Analysis of Shared Resource Systems
Augmented marked graphs were first introduced in 1997 (Chu & Xie, 1997). They are not well known as compared to other sub-classes of Petri nets such as free-choice nets (Desel & Esparza, 1995), and the properties of augmented marked graphs are not studied extensively. However, augmented marked graphs possess a structure which is desirable for modelling shared resources, and for this reason, the...
متن کاملProperty-Preserving Composition of Augmented Marked Graphs for System Integration
Augmented marked graphs possess some special characteristics desirable for the analysis and modelling of shared-resource systems. This paper investigates the composition of augmented marked graphs via common resource places, with a focus on preservation of liveness, boundedness, reversibility and conservativeness. It is then applied to system integration, where system components are specified a...
متن کاملA Synthesis Method for Designing Shared-Resource Systems
In system synthesis, one needs to derive from a given set of processes a system design which reflects exactly the functionalities of the processes and is free from erroneous situations such as deadlock and capacity overflow. This is especially important for shared-resource systems, in which errors are easily induced because of the sharing of common resources among different competing processes....
متن کاملDetermining Components of Medical Instructional Design based on Virtual Reality by Research Synthesis
Introduction: The purpose of the present study was to determine the components of medical education design based on virtual reality by research synthesis method. Methods: In the present study a synthesis method was used. In order to study the research background and to collect appropriate data among the databases of Science Direct, Springer, Scopus, ProQuest and Eric (ERIC) search. With the ke...
متن کامل